integral tan^-1 x